Minimization of deterministic finite automata in tafl in hindi